div[class*="language-"] {
  position: relative;
  border-radius: 6px;
  font-size: 18px;
}
div[class*="language-"] .highlight-lines {
  user-select: none;
  padding-top: 1.3rem;
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
  line-height: 1.5;
}
div[class*="language-"] .highlight-lines .highlighted {
  background-color: rgba(0,0,0,0.66);
}
div[class*="language-"] pre,
div[class*="language-"] pre[class*="language-"] {
  position: relative;
  z-index: 1;
}
div[class*="language-"] pre code,
div[class*="language-"] pre[class*="language-"] code {
  font-family: 'Ubuntu Mono', monospace !important;
}
div[class*="language-"]::before {
  position: absolute;
  z-index: 3;
  top: 0.8em;
  right: 1em;
  font-size: 0.75rem;
  color: rgba(255,255,255,0.4);
}
div[class*="language-"]:not(.line-numbers-mode) .line-numbers-wrapper {
  display: none;
}
div[class*="language-"].line-numbers-mode .highlight-lines .highlighted {
  position: relative;
}
div[class*="language-"].line-numbers-mode .highlight-lines .highlighted:before {
  content: ' ';
  position: absolute;
  z-index: 3;
  left: 0;
  top: 0;
  display: block;
  width: 3rem;
  height: 100%;
  background-color: rgba(0,0,0,0.66);
}
div[class*="language-"].line-numbers-mode pre {
  padding-left: 4rem;
  vertical-align: middle;
}
div[class*="language-"].line-numbers-mode .line-numbers-wrapper {
  font-family: 'Ubuntu Mono', monospace !important;
  position: absolute;
  top: 0;
  width: 3rem;
  text-align: center;
  color: rgba(255,255,255,0.3);
  padding: 1.25rem 0;
  line-height: 1.5;
}
div[class*="language-"].line-numbers-mode .line-numbers-wrapper br {
  user-select: none;
}
div[class*="language-"].line-numbers-mode .line-numbers-wrapper .line-number {
  position: relative;
  z-index: 4;
  user-select: none;
  font-size: 18px;
}
div[class*="language-"].line-numbers-mode::after {
  content: '';
  position: absolute;
  z-index: 2;
  top: 0;
  left: 0;
  width: 3rem;
  height: 100%;
  border-radius: 6px 0 0 6px;
  border-right: 1px solid rgba(0,0,0,0.66);
  background-color: #000;
}
